Avoiding Unnecessary Updates
نویسندگان
چکیده
Graph reduction underlies most implementations of lazy functional languages, allowing separate computations to share results when sub-terms are evaluated. Once a term is evaluated, the node of the graph representing the computation is updated with the value of the term. However , in many cases, no other computation requires this value, so the update is unnecessary. In this paper we take some steps towards an analysis for determining when these updates may be omitted.
منابع مشابه
Incremental Dynamic Updates with First-Class Contexts
Highly available software systems occasionally need to be updated while avoiding downtime. Dynamic software updates reduce downtime, but still require the system to reach a quiescent state in which a global update can be performed. This can be difficult for multi-threaded systems. We present a novel approach to dynamic updates using firstclass contexts, called Theseus. First-class contexts make...
متن کاملHigh Level Efficiency in Database Languages
The subject of this Ph.D. thesis is the design and implementation of database languages. The thesis consists of five articles [16, 57, 59, 60, 61] and this survey paper. In [61], a new query language design is proposed. The expressive power of the language is determined in [57] and all reasonable extensions are considered. In [59, 60], we focus on the optimization issue of avoiding unnecessary ...
متن کاملAvoiding unnecessary surgery in irritable bowel syndrome.
Thomas Mercer | View/Change User Information | Email alerts | Sign Out Gut 2007;56:608-610; doi:10.1136/gut.2006.115006 Copyright © 2007 BMJ Publishing Group Ltd & British Society of Gastroenterology COMMENTARY IBS and surgery Avoiding unnecessary surgery in irritable bowel syndrome George F Longstreth Correspondence to: Correspondence to: D. G F Longstreth Kaiser Permanente Medical Center, 464...
متن کاملAn Enhanced Safe Region Technique for Continuous Queries over Moving Objects
Continuous spatial queries retrieve a set of time-varying objects continuously during a given period of time. However, monitoring moving objects to maintain the correctness of the query results often incurs frequent location updates from these moving objects. To address this problem, existing solutions propose lazy updates, but such techniques generally avoid only a small fraction of all unnece...
متن کاملAnalyzing Unnecessary Permissions Requested by Android Apps Based on Users' Opinions
Many existing mobile apps request for unnecessary permissions knowing that users often ignore permission warning messages. We conducted an online user study to investigate how users feel about permissions being requested by both free and paid Android apps. Results show that users tend to feel that free Android apps request for more unnecessary permissions compared to paid apps. Users also felt ...
متن کامل